Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
121	DARIUS NAQVI I grew up in Regina, Saskatchewan. I received a B.Sc. in mathematics from the University of Regina Add to Reading List Source URL: mathcentral.uregina.ca Language: English - Date: 2005-11-16 13:51:52 Philosophy of mathematics Science Logic Mathematical proof Mathematics Knowledge Mathematical logic
122	Chapter 4: Computability Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-24 15:09:33 Computability theory Mathematical logic Theory of computation Logic in computer science Proof theory Undecidable problem Decision problem Algorithm Computability Theoretical computer science Mathematics Applied mathematics
123	Lecture 18 - Zero Knowledge (cont), identification protocols Boaz Barak April 7, 2010 Reading Boneh-Shoup chapter 18. Review Protocol QR Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-04-07 12:26:01 Proof of knowledge IP Soundness Alice and Bob NP XTR Zero-knowledge proof Cryptographic protocols Cryptography Applied mathematics
124	Formalism: pitfalls and overcoming them (with AI?) Cliff Jones Newcastle University My background Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematical logic Formal methods Form Philosophy of mathematics Technical communication Formalism Dependability Mathematical proof Reification Quality Mathematics Knowledge
125	HWUM FINANCIAL HARDSHIP SCHOLARSHIP APPLICATION FORM □ Completed Application Form □ 1 Certified True Copy of Academic Results / Transcripts & Certificates □ Personal Statement □ Proof of financial hardship (examp Add to Reading List Source URL: www.hw.ac.uk Language: English Academia Scholarship HOPE Scholarship Student financial aid Education Knowledge
126	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh NFM 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Heuristics Rippling Knowledge Mathematical proof Invariant Lemmas Mathematics Linguistics Automated theorem proving
127	Groth–Sahai proofs revisited E. Ghadafi, N.P. Smart, and B. Warinschi Dept. Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2010-01-17 10:23:34 Non-interactive zero-knowledge proof Mathematical proof Zero-knowledge proof Commitment scheme Cryptography Cryptographic protocols Decision Linear assumption
128	An Efficient Identification Protocol and the Knowledge-of-Exponent Assumption J. Wu∗ and D.R. Stinson† David R. Cheriton School of Computer Science University of Waterloo, Waterloo, ON, Canada {j32wu, dstinson}@uwate Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-05-15 09:30:41 Proof of knowledge Finite fields IP Zero-knowledge proof Random oracle NP XTR MQV Cryptography Cryptographic protocols Cryptographic hash functions
129	The knowledge to change the world UB schooL of sociaL Work facULty report 2007–08 Living proof. research makes a difference. TABLE OF CONTENTS Add to Reading List Source URL: socialwork.buffalo.edu Language: English - Date: 2014-07-31 13:25:02 Association of Public and Land-Grant Universities Middle States Association of Colleges and Schools University at Albany SUNY
130	Confidentiality-preserving Proof Theories for Distributed Proof Systems Kazuhiro Minami Nikita Borisov Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:19 Logical consequence Reasoning Datalog Rule of inference Knowledge base Proof theory Logic Propositional calculus Inference

UPDATE